ICM satellite event on logic and set theory Day one: August ,  : Registration & Opening Forenoon session Chair: Benedikt Löwe

Source URL: ali.cmi.ac.in

Page 1 of 37 Talk given at 29th Linz Seminar on Fuzzy Set Theory, 14 Feb 2008 Page 2 of 37

Source URL: www.cs.bham.ac.uk

Cut elimination for Zermelo set theory Gilles Dowek1 and Alexandre Miquel2 1 ´ Ecole polytechnique and INRIA ´ LIX, Ecole polytechnique, 91128 Palaiseau Cedex, France

Source URL: who.rocq.inria.fr

Personhood and the nature of morality in the early Rawls P. MacKenzie Bok University of Cambridge Abstract: This paper draws on a set of John Rawls’s unpublished early papers, written prior to the drafting of A Theory

Source URL: www.yale.edu

On Voevodsky’s Univalence Axiom 6th July, 2011, Edinburgh Third European Set Theory Conference . Peter Aczel

Source URL: www.cs.man.ac.uk

Physics 522. Quantum Mechanics II Problem Set #4 – Time Independent Perturbation Theory Due Tuesday, Feb. 10, 2015 Problem 1: The ro-vibrational spectrum of diatomic atoms (20 points) Consider a diatomic molecule. In t

Source URL: info.phys.unm.edu

1998 Paper 4 Question 8 Computation Theory Explain Church’s Thesis, making clear its connection with computability. [3 marks] Define precisely what is meant by the set of all Primitive Recursive (PR) functions.

Source URL: www.cl.cam.ac.uk

FOLIATIONS, C ∗ -ALGEBRAS AND INDEX THEORY EXAM QUESTIONS. SET NUMBER 2 Easy Question. Give the general definition of characteristic classes of foliations. Difficult Question 1. Sketch the proof of independence of tra

Source URL: toknotes.mimuw.edu.pl

On the completeness of quantum computation models Pablo Arrighi ´ Ecole normale sup´erieure de Lyon

Source URL: who.rocq.inria.fr

• Mathematical logic
• Applied mathematics
• Computable function
• Recursive set
• Enumeration
• Function
• Numbering
• Church–Turing thesis
• Computability
• Computability theory
• Theory of computation
• Mathematics

Graceful Service Degradation (or, How to Know your Payment is Late) ∗ Alexandr Andoni MIT

Source URL: www.mit.edu

• Tree
• Broadcast encryption
• Model theory
• Cryptography
• Set theory
• Public-key cryptography